Semi-Automatic Implementation of Transport and Session Protocols
نویسنده
چکیده
The paper describes experience with the use of formal protocol specifications in the protocol implementation process. As formal description techniques (FDT) for OSI protocols are being standardized, formal OSI protocol specifications in these FDT's become available on a trial basis. The technical issues involved in the use of such specifications for the automation of the implementation process are discussed, and the experience with a semi-automated implementation approach for the OSI Transport and Session protocols is described.
منابع مشابه
Session Type Inference in Haskell
We present an inference system for a version of the π-calculus in Haskell for the session type proposed by Honda et al. The session type is very useful in checking if the communications are wellbehaved. The full session type implementation in Haskell was first presented by Pucella and Tov, which is ‘semi-automatic’ in that the manual operations for the type representation was necessary. We give...
متن کاملDesign and implementation of an automatic car turning system
In this paper, a control system is designed for automatic car turning. At first, the necessary information of car turning that were collected from the traffic bylaw, car driving training centers and traffic police are explained. Then, car turning is studied experimentally on several streets with different widths. Afterward, a proper path is designed for the automatic car turning system consider...
متن کاملSecure Execution of Distributed Session Programs
The development of the SJ Framework for session-based distributed programming is part of recent and ongoing research into integrating session types and practical, real-world programming languages. SJ programs featuring session types (protocols) are statically checked by the SJ compiler to verify the key property of communication safety, meaning that parties engaged in a session only communicate...
متن کاملAutomatic implementation of a new recovery coefficient for Reliable contour milling
In contour milling, to render the machining process more automated with significant productivity without remaining material after machining, a new recovery coefficient was developed. The coefficient was inserted in the computation of contour parallel tool paths to fix the radial depth of cut in the way to ensure an optimized overlap area between the passes in the corners, without residuals. Thu...
متن کاملAdvanced Multimedia Management - Control Model and Content Adaptation
The delivery and adaptation of multimedia content in distributed and heterogeneous environments requires flexible control and management mechanisms in terminals and in control entities inside the network. In the near future, it is important to reach interoperability between the IETF approaches on multimedia session establishment and control and the MPEG-21 efforts for multimedia streaming and a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002